5

Formalization and Analysis of Class Loading in Java

Year:
2002
Language:
english
File:
PDF, 291 KB
english, 2002
10

[Mathematics for Industry] Recent Advances in Natural Computing Volume 9 ||

Year:
2015
Language:
english
File:
PDF, 2.40 MB
english, 2015
13

[Mathematics for Industry] Recent Advances in Natural Computing Volume 14 ||

Year:
2016
Language:
english
File:
PDF, 5.67 MB
english, 2016
37

Generalization from partial parametrization in higher-order type theory

Year:
1989
Language:
english
File:
PDF, 2.41 MB
english, 1989
42

DMEAD: a new dialkyl azodicarboxylate for the Mitsunobu reaction

Year:
2009
Language:
english
File:
PDF, 343 KB
english, 2009
45

Meta-circular interpreter for a strongly typed language

Year:
1989
Language:
english
File:
PDF, 1.29 MB
english, 1989